# run on server171
execute_path=$(pwd)
CONFIG_PATH=$1
EXP_TYPE=$2
EXP_NAME=$3


bash launch.sh $CONFIG_PATH $EXP_NAME 16 0 &\
ssh server172 "cd $execute_path; bash launch.sh $CONFIG_PATH $EXP_NAME 16 8"
